Linear Algebra Advanced Basic: Zorn's Lemma, Exchange Lemma, Dimension